Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topological topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthortomr
    • CommentTimeApr 10th 2025
    • (edited Apr 10th 2025)
    Sam Altman posted stream of conversation videos on his X account, where they all recognize that the training data may be exhausted and that data efficiency should be considered in the earnest and this stream contains this //x.com/sama/status/1910363431141802416/quotes (https) as well (I don't know how to grab individual tweet, but these are the quotes that wrap the video in this tweet).

    I think that this conversation deserves attention for at least 2 points:
    1) this is the first time (AFAK), when major AI company recognizes that there may be some principled way to the A*I;
    2) this can be important for the academic community as well - if the big companies start to consider the development of A*I as an approximation of Solomonoff induction and AIXI then this will really (re)ignite theoretical work (and I don't see the problem if that is automated). And this will be really exciting.

    Sorry for sharing this. If this is not appropriate place for the celebration then it is OK to delete it.

    But well - maybe this can start new entry in these pages.

    There have already been some work:
    //arxiv.org/abs/2408.12065v1 (https) Transformers As Approximations of Solomonoff Induction
    //openreview.net/forum?id=tJDlRzQh7x (https) Neural Networks and Solomonoff Induction (Marcus Hutter is one of the co-author, but community didn't accept the paper)

    And I can guess, that the expression involving all the theories somehow can be expressed as some functional over category of theories. So - this can reinvigorate the category theory as well. And if we are striving for the utmost expressivity (going beyond FOL and HOL), then we should consider category of homotopy type theories as well and hence - the contextual categories and infinity category theory.